1. Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
Author: Logic Colloquium, Wroclaw, Poland
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Congresses,، Recursive functions-- Congresses
Classification :
QA
9
.
A1
.
L63
1977
